ba3808954ef7ed703516d07c3e781458c3937411,framework/src/org/checkerframework/framework/type/visitor/SimpleAnnotatedTypeScanner.java,SimpleAnnotatedTypeScanner,visitArray,#AnnotatedArrayType#P#,54
Before Change
*/
@Override
public final R visitArray(AnnotatedArrayType type, P p) {
defaultAction(type, p);
return super.visitArray(type, p);
}
After Change
*/
@Override
public final R visitArray(AnnotatedArrayType type, P p) {
R r = defaultAction(type, p);
return reduce(super.visitArray(type, p), r);
}
/**